lnk-decl(l;dt) == <map(tg.rcv(l,tg);1of(dt)),k.dt(2of(outl(k)))> 

latex

---

clarification:

lnk-decl(l;dt) == <map(tg.rcv(l,tg);1of(dt)),k.fpf-ap(dt; IdDeq; 2of(outl(k)))> 

latex

Definitions	map(f;as), rcv(l,tg), 1of(t), f(x), IdDeq, 2of(t), outl(x)
FDL editor aliases	lnk-decl